proper subclass

См. также в других словарях:

• Constructible universe — Gödel universe redirects here. For Kurt Gödel s cosmological solution to the Einstein field equations, see Gödel metric. In mathematics, the constructible universe (or Gödel s constructible universe), denoted L, is a particular class of sets… …   Wikipedia

• logic, history of — Introduction       the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic       There was a medieval tradition according to which the Greek philosopher …   Universalium

• Two-phase locking — This article is about concurrency control. For commit consensus within a distributed transaction, see Two phase commit protocol. In databases and transaction processing two phase locking, (2PL) is a concurrency control method that guarantees… …   Wikipedia

• Two phase locking — In databases and transaction processing, two phase locking, (2PL) is a concurrency control locking protocol, mechanism, that guarantees serializability. It is also the name of the resulting class (set) of transaction schedules. Using locks that… …   Wikipedia

• Relation algebra — is different from relational algebra, a framework developed by Edgar Codd in 1970 for relational databases. In mathematics, a relation algebra is a residuated Boolean algebra supporting an involutary unary operation called converse. The… …   Wikipedia

• Soundness — In mathematical logic, a logical system has the soundness property if and only if its inference rules prove only formulas that are valid with respect to its semantics. In most cases, this comes down to its rules having the property of preserving… …   Wikipedia

• Bent function — The 2 ary bent functions with Hamming weight 1 Their nonlinearity is …   Wikipedia

• List of astronomy acronyms — This is a compilation of acronyms commonly used in astronomy. Most of the acronyms are drawn from professional astronomy and are used quite frequently in scientific publications. However, a few of these acronyms are frequently used by the general …   Wikipedia

• crustacean — /kru stay sheuhn/, n. 1. any chiefly aquatic arthropod of the class Crustacea, typically having the body covered with a hard shell or crust, including the lobsters, shrimps, crabs, barnacles, and wood lice. adj. 2. belonging or pertaining to the… …   Universalium

• flatworm — /flat werrm /, n. any worm of the phylum Platyhelminthes, having bilateral symmetry and a soft, solid, usually flattened body, including the planarians, tapeworms, and trematodes; platyhelminth. [1895 1900; FLAT1 + WORM] * * * or platyhelminth… …   Universalium

• fish — fishless, adj. /fish/, n., pl. (esp. collectively) fish, (esp. referring to two or more kinds or species) fishes, v. n. 1. any of various cold blooded, aquatic vertebrates, having gills, commonly fins, and typically an elongated body covered with …   Universalium